@inproceedings{Yang:2011:WNM:2048066.2048092,
 author = {Yang, Xi and Blackburn, Stephen M. and Frampton, Daniel and Sartor, Jennifer B. and McKinley, Kathryn S.},
 title = {Why nothing matters: the impact of zeroing},
 booktitle = {OOPSLA'11},
 year = {2011},
 isbn = {978-1-4503-0940-0},
 location = {Portland, Oregon, USA},
 pages = {307--324},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/2048066.2048092},
 doi = {10.1145/2048066.2048092},
 acmid = {2048092},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {memory safety, zero initialization},
} 

@inproceedings{Bocchino:2009:TES:1640089.1640097,
 author = {Bocchino,Jr., Robert L. and Adve, Vikram S. and Dig, Danny and Adve, Sarita V. and Heumann, Stephen and Komuravelli, Rakesh and Overbey, Jeffrey and Simmons, Patrick and Sung, Hyojin and Vakilian, Mohsen},
 title = {A type and effect system for deterministic parallel Java},
 booktitle = {OOPSLA'09},
 year = {2009},
 isbn = {978-1-60558-766-0},
 location = {Orlando, Florida, USA},
 pages = {97--116},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/1640089.1640097},
 doi = {10.1145/1640089.1640097},
 acmid = {1640097},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {commutativity, determinism, deterministic parallelism, effect systems, effects},
} 

% incremental contribution: A. J. Summers and Peter M{\"u}ller: Freedom Before Commitment : Simple Flexible Initialisation for Non-Null Types
%Technical Report, ETH Zurich, 2011
@inproceedings{Summers:Mulller:2011,
 author = {Alexander J. Summers and Peter M{\"u}ller},
 title = {Freedom Before Commitment - A Lightweight Type System for Object Initialisation},
 booktitle = {OOPSLA'11},
 year = {2011},
 location = {Portland, Oregon, USA},
 numpages = {20},
} 

@inproceedings{XinQi:2009,
 author = {Qi, Xin and Myers, Andrew C.},
 title = {Masked Types for Sound Object Initialization},
 booktitle = {POPL'09},
 year = {2009},
 isbn = {978-1-60558-379-2},
 location = {Savannah, GA, USA},
 pages = {53--65},
 numpages = {13},
 keywords = {conditional masks, cyclic data structures, data abstraction, invariants, null pointer exceptions},
}


 @inproceedings{Fahndrich:2007:EOI:1297027.1297052,
 author = {F\"{a}hndrich, Manuel and Xia, Songtao},
 title = {Establishing Object Invariants with Delayed Types},
 booktitle = {OOPSLA'07},
 year = {2007},
 isbn = {978-1-59593-786-5},
 location = {Montreal, Quebec, Canada},
 pages = {337--350},
 numpages = {14},
 keywords = {initialization, non-null types, object invariants},
} 
@inproceedings{Fahndrich:2003:DCN:949305.949332,
 author = {F\"{a}hndrich, Manuel and Leino, K. Rustan M.},
 title = {Declaring and Checking Non-null Types in an Object-oriented Language},
 booktitle = {OOPSLA'03},
 year = {2003},
 isbn = {1-58113-712-5},
 location = {Anaheim, California, USA},
 pages = {302--312},
 numpages = {11},
} 



@inproceedings{Zibin:2010:OIG:1869459.1869509,
 author = {Zibin, Yoav and Potanin, Alex and Li, Paley and Ali, Mahmood and Ernst, Michael D.},
 title = {Ownership and Immutability in Generic Java},
 booktitle = {OOPSLA'10},
 year = {2010},
 isbn = {978-1-4503-0203-6},
 location = {Reno/Tahoe, Nevada, USA},
 pages = {598--617},
 numpages = {20},
} 
@inproceedings{Gil:2009:WRS:1615184.1615216,
 author = {Gil, Joseph (Yossi) and Shragai, Tali},
 title = {Are We Ready for a Safer Construction Environment?},
 booktitle = {ECOOP'09},
 year = {2009},
 isbn = {978-3-642-03012-3},
 location = {Italy},
 pages = {495--519},
 numpages = {25},
} 

@inproceedings{Hubert:2010:ESO:1888881.1888890,
 author = {Hubert, Laurent and Jensen, Thomas and Monfort, Vincent and Pichardie, David},
 title = {Enforcing Secure Object Initialization in Java},
 booktitle = {ESORICS'10},
 year = {2010},
 isbn = {3-642-15496-4, 978-3-642-15496-6},
 location = {Athens, Greece},
 pages = {101--115},
 numpages = {15},
} 

@inproceedings{Dean:1996,
 author = {D. Dean and E.W. Felten and D.S.Wallach},
 title = {Java Security: From HotJava to Netscape and Beyond},
 booktitle = {IEEE Symposium on Security and Privacy},
 year = {1996},
 isbn = {978-3-642-03012-3},
 location = {Oakland, California},
 pages = {190--200},
 numpages = {10},
} 

@inproceedings{Matsakis:2010:TTS:1869459.1869511,
 author = {Matsakis, Nicholas D. and Gross, Thomas R.},
 title = {A Time-aware Type System for Data-race Protection and Guaranteed Initialization},
 booktitle = {OOPSLA'10},
 year = {2010},
 isbn = {978-1-4503-0203-6},
 location = {Reno/Tahoe, Nevada, USA},
 pages = {634--651},
 numpages = {18},
 keywords = {data race, intervals, time-based properties, type systems},
} 

@article{Seo:2007:SBD:1522565.1522587,
 author = {Seo, Sunae and Kim, Youil and Kang, Hyun-Goo and Han, Taisook},
 title = {A Static Bug Detector for Uninitialized Field References in Java Programs},
 journal = {IEICE - Trans. Inf. Syst.},
 volume = {E90-D},
 issue = {10},
 year = {2007},
 issn = {0916-8532},
 pages = {1663--1671},
 numpages = {9},
} 


@Misc{JSR133,
  author =       "William Pugh",
  title =        "{JSR} 133: {Java} Memory Model and Thread Specification Revision",
  howpublished = "\url{http://jcp.org/en/jsr/detail?id=133}",
  year =         2004,
}

@inproceedings{Gil:1998:CTA:646155.679689,
 author = {Gil, Joseph and Itai, Alon},
 title = {The Complexity of Type Analysis of Object Oriented Programs},
 booktitle = {ECOOP'98},
 year = {1998},
 isbn = {3-540-64737-6},
 pages = {601--634},
 numpages = {34},
} 
